Unification - definizione. Che cos'è Unification
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è Unification - definizione

WIKIMEDIA DISAMBIGUATION PAGE
Unification (disambiguation); Unifying theory; Unification theory; Unification theory (disambiguation)

unification         
<programming> The generalisation of pattern matching that is the logic programming equivalent of instantiation in logic. When two terms are to be unified, they are compared. If they are both constants then the result of unification is success if they are equal else failure. If one is a variable then it is bound to the other, which may be any term (which satisfies an "occurs check"), and the unification succeeds. If both terms are structures then each pair of sub-terms is unified recursively and the unification succeeds if all the sub-terms unify. The result of unification is either failure or success with a set of variable bindings, known as a "unifier". There may be many such unifiers for any pair of terms but there will be at most one "most general unifier", other unifiers simply add extra bindings for sub-terms which are variables in the original terms. (1995-12-14)
unification         
n.
Union, junction (so as to become one), incorporation.
unification         
n. to achieve, bring about unification (to achieve unification of a country)

Wikipedia

Unification

Unification or unification theory may refer to:

Esempi dal corpus di testo per Unification
1. Politically, the unification would be a start for unification of Southern opinion.
2. He said unification efforts could not be forced. «There can be no unification through coercion or dismissals.
3. Only about 15% favour unification or independence.
4. "The unification would further destroy our culture.
5. Mr Chen scrapped the National Unification Council (NUC), which was in charge of working towards unification with China, together with a set of guidelines declaring unification with the mainland a long–term national goal.